Kind → Type
